Towards Scientific Incident Response

A scientific incident analysis is one with a methodical, justifiable approach to the human decision-making process. Incident analysis is a good target for additional rigor because it is the most human-intensive part of incident response. Our goal is to provide the tools necessary for specifying precisely the reasoning process in incident analysis. Such tools are lacking, and are a necessary (though not sufficient) component of a more scientific analysis process. To reach this goal, we adapt tools from program verification that can capture and test abductive reasoning. As Charles Peirce coined the term in 1900, “Abduction is the process of forming an explanatory hypothesis. It is the only logical operation which introduces any new idea.” We reference canonical examples as paradigms of decision-making during analysis. With these examples in mind, we design a logic capable of expressing decision-making during incident analysis. The result is that we can express, in machine-readable and precise language, the abductive hypotheses than an analyst makes, and the results of evaluating them. This result is beneficial because it opens up the opportunity of genuinely comparing analyst processes without revealing sensitive system details, as well as opening an opportunity towards improved decision-support via limited automation

Logics for Petri nets with propagating failures

Petri nets play a central role in the formal modelling of a wide range of complex systems and scenarios. Their ability to handle with both concurrency and resource awareness justifies their spread in the current formal development practices. On the logic side, Dynamic Logics are widely accepted as the de facto formalisms to reason about computational systems. However, as usual, the application to new situations raises new challenges and issues. The ubiquity of failures in the execution of current systems, interpreted in these models as triggered events that are not followed by the corresponding transition, entails not only the adjustment of these structures to deal with this reality, but also the introduction of new logics adequate to this emerging phenomenon. This paper contributes to this challenge by exploring a combination of two previous works of the authors, namely the Propositional Dynamic Logic for Petri Nets [1] and a parametric construction of multi-valued dynamic logics presented in [13]. This exercise results in a new family of Dynamic Logics for Petri Nets suitable to deal with firing failures.publishe

Atg5-Independent Sequestration of Ubiquitinated Mycobacteria

Like several other intracellular pathogens, Mycobacterium marinum (Mm) escapes from phagosomes into the host cytosol where it can polymerize actin, leading to motility that promotes spread to neighboring cells. However, only ∼25% of internalized Mm form actin tails, and the fate of the remaining bacteria has been unknown. Here we show that cytosolic access results in a new and intricate host pathogen interaction: host macrophages ubiquitinate Mm, while Mm shed their ubiquitinated cell walls. Phagosomal escape and ubiquitination of Mm occured rapidly, prior to 3.5 hours post infection; at the same time, ubiquitinated Mm cell wall material mixed with host-derived dense membrane networks appeared in close proximity to cytosolic bacteria, suggesting cell wall shedding and association with remnants of the lysed phagosome. At 24 hours post-infection, Mm that polymerized actin were not ubiquitinated, whereas ubiquitinated Mm were found within LAMP-1–positive vacuoles resembling lysosomes. Though double membranes were observed which sequestered Mm away from the cytosol, targeting of Mm to the LAMP-1–positive vacuoles was independent of classical autophagy, as demonstrated by absence of LC3 association and by Atg5-independence of their formation. Further, ubiquitination and LAMP-1 association did not occur with mutant avirulent Mm lacking ESX-1 (type VII) secretion, which fail to escape the primary phagosome; apart from its function in phagosome escape, ESX-1 was not directly required for Mm ubiquitination in macrophages or in vitro. These data suggest that virulent Mm follow two distinct paths in the cytosol of infected host cells: bacterial ubiquitination is followed by sequestration into lysosome-like organelles via an autophagy-independent pathway, while cell wall shedding may allow escape from this fate to permit continued residence in the cytosol and formation of actin tails

Mycobacterium marinum antagonistically induces an autophagic response while repressing the autophagic flux in a TORC1- and ESX-1-dependent manner.

Autophagy is a eukaryotic catabolic process also participating in cell-autonomous defence. Infected host cells generate double-membrane autophagosomes that mature in autolysosomes to engulf, kill and digest cytoplasmic pathogens. However, several bacteria subvert autophagy and benefit from its machinery and functions. Monitoring infection stages by genetics, pharmacology and microscopy, we demonstrate that the ESX-1 secretion system of Mycobacterium marinum, a close relative to M. tuberculosis, upregulates the transcription of autophagy genes, and stimulates autophagosome formation and recruitment to the mycobacteria-containing vacuole (MCV) in the host model organism Dictyostelium. Antagonistically, ESX-1 is also essential to block the autophagic flux and deplete the MCV of proteolytic activity. Activators of the TORC1 complex localize to the MCV in an ESX-1-dependent manner, suggesting an important role in the manipulation of autophagy by mycobacteria. Our findings suggest that the infection by M. marinum activates an autophagic response that is simultaneously repressed and exploited by the bacterium to support its survival inside the MCV

Whole genome identification of Mycobacterium tuberculosis vaccine candidates by comprehensive data mining and bioinformatic analyses

<p>Abstract</p> <p>Background</p> <p><it>Mycobacterium tuberculosis</it>, the causative agent of tuberculosis (TB), infects ~8 million annually culminating in ~2 million deaths. Moreover, about one third of the population is latently infected, 10% of which develop disease during lifetime. Current approved prophylactic TB vaccines (BCG and derivatives thereof) are of variable efficiency in adult protection against pulmonary TB (0%–80%), and directed essentially against early phase infection.</p> <p>Methods</p> <p>A genome-scale dataset was constructed by analyzing published data of: (1) global gene expression studies under conditions which simulate intra-macrophage stress, dormancy, persistence and/or reactivation; (2) cellular and humoral immunity, and vaccine potential. This information was compiled along with revised annotation/bioinformatic characterization of selected gene products and <it>in silico </it>mapping of T-cell epitopes. Protocols for scoring, ranking and prioritization of the antigens were developed and applied.</p> <p>Results</p> <p>Cross-matching of literature and <it>in silico</it>-derived data, in conjunction with the prioritization scheme and biological rationale, allowed for selection of 189 putative vaccine candidates from the entire genome. Within the 189 set, the relative distribution of antigens in 3 functional categories differs significantly from their distribution in the whole genome, with reduction in the Conserved hypothetical category (due to improved annotation) and enrichment in Lipid and in Virulence categories. Other prominent representatives in the 189 set are the PE/PPE proteins; iron sequestration, nitroreductases and proteases, all within the Intermediary metabolism and respiration category; ESX secretion systems, resuscitation promoting factors and lipoproteins, all within the Cell wall category. Application of a ranking scheme based on qualitative and quantitative scores, resulted in a list of 45 best-scoring antigens, of which: 74% belong to the dormancy/reactivation/resuscitation classes; 30% belong to the Cell wall category; 13% are classical vaccine candidates; 9% are categorized Conserved hypotheticals, all potentially very potent T-cell antigens.</p> <p>Conclusion</p> <p>The comprehensive literature and <it>in silico</it>-based analyses allowed for the selection of a repertoire of 189 vaccine candidates, out of the whole-genome 3989 ORF products. This repertoire, which was ranked to generate a list of 45 top-hits antigens, is a platform for selection of genes covering all stages of <it>M. tuberculosis </it>infection, to be incorporated in rBCG or subunit-based vaccines.</p

Prediction of Susceptibility to First-Line Tuberculosis Drugs by DNA Sequencing

Background: The World Health Organization recommends drug-susceptibility testing of Mycobacterium tuberculosis complex for all patients with tuberculosis to guide treatment decisions and improve outcomes. Whether DNA sequencing can be used to accurately predict profiles of susceptibility to first-line antituberculosis drugs has not been clear. Methods: We obtained whole-genome sequences and associated phenotypes of resistance or susceptibility to the first-line antituberculosis drugs isoniazid, rifampin, ethambutol, and pyrazinamide for isolates from 16 countries across six continents. For each isolate, mutations associated with drug resistance and drug susceptibility were identified across nine genes, and individual phenotypes were predicted unless mutations of unknown association were also present. To identify how whole-genome sequencing might direct first-line drug therapy, complete susceptibility profiles were predicted. These profiles were predicted to be susceptible to all four drugs (i.e., pansusceptible) if they were predicted to be susceptible to isoniazid and to the other drugs or if they contained mutations of unknown association in genes that affect susceptibility to the other drugs. We simulated the way in which the negative predictive value changed with the prevalence of drug resistance. Results: A total of 10,209 isolates were analyzed. The largest proportion of phenotypes was predicted for rifampin (9660 [95.4%] of 10,130) and the smallest was predicted for ethambutol (8794 [89.8%] of 9794). Resistance to isoniazid, rifampin, ethambutol, and pyrazinamide was correctly predicted with 97.1%, 97.5%, 94.6%, and 91.3% sensitivity, respectively, and susceptibility to these drugs was correctly predicted with 99.0%, 98.8%, 93.6%, and 96.8% specificity. Of the 7516 isolates with complete phenotypic drug-susceptibility profiles, 5865 (78.0%) had complete genotypic predictions, among which 5250 profiles (89.5%) were correctly predicted. Among the 4037 phenotypic profiles that were predicted to be pansusceptible, 3952 (97.9%) were correctly predicted. Conclusions: Genotypic predictions of the susceptibility of M. tuberculosis to first-line drugs were found to be correlated with phenotypic susceptibility to these drugs. (Funded by the Bill and Melinda Gates Foundation and others.

A mutation in the Drosophila melanogaster eve stripe 2 minimal enhancer is buffered by flanking sequences

AbstractEnhancers are DNA sequences composed of transcription factor binding sites that drive complex patterns of gene expression in space and time. Until recently, studying enhancers in their genomic context was technically challenging. Therefore, minimal enhancers, the shortest pieces of DNA that can drive an expression pattern that resembles a gene’s endogenous pattern, are often used to study features of enhancer function. However, evidence suggests that some enhancers require sequences outside the minimal enhancer to maintain function under environmental perturbations. We hypothesized that these additional sequences also prevent misexpression caused by a transcription factor binding site mutation within a minimal enhancer. Using the Drosophila melanogaster even-skipped stripe 2 enhancer as a case study, we tested the effect of a Giant binding site mutation (gt-2) on the expression patterns driven by minimal and extended enhancer reporter constructs. We found that, in contrast to the misexpression caused by the gt-2 binding site mutation in the minimal enhancer, the same gt-2 binding site mutation in the extended enhancer did not have an effect on expression. The buffering of expression levels, but not expression pattern, is partially explained by an additional Giant binding site outside the minimal enhancer. Mutating the gt-2 binding site in the endogenous locus had no significant effect on stripe 2 expression. Our results indicate that rules derived from mutating enhancer reporter constructs may not represent what occurs in the endogenous context